2018

国際会議(査読付)

[1] Hao Jin, Takashi Kitamura, Eun-Hye Choi, and Tatsuhiro Tsuchiya, "A Satisfiability-Based Approach to Generation of Constrained Locating Arrays", Proc. of IEEE International Software Testing Verification and Validation Workshop (ICSTW) - 7th Workshop on Combinatorial Testing (IWCT 2018), pp. 285-294, April 2018.

2017

研究会・全国大会等

[1] 金 浩, 崔 銀惠, 土屋 達弘, "SMTを用いた制約付きロケーティングアレイの生成について", 信学技報, pp. 55-60, 2017年10月.

2009

国際会議(査読付)

[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", Proc. of First International Workshop on Software Technologies for Future Dependable Distributed Systems (STFSSD2009), pp. 138-142, March 2009.

2006

学術論文誌(査読付)

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules under Various Rule Processing Strategies", IPSJ Transactions on Databases, 47(19),  pp. 14-27, December 2006.

国内会議(査読付)

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules", Proceedings of the 17th Data Engineering Workshop (DEWS 2006), pp. 1-8, March 2006.

テクニカルレポート

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", 算譜科学研究速報, (PS-2006-013), pp. 1-21, November 2006.

[2] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking Active Database Rules", 算譜科学研究速報, (PS-2006-001), February 2006.

研究会・全国大会等

[1] Eun-Hye Choi, Keishi Okamoto, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Model Checking a Modular-Structured Nonblocking Atomic Commitment Protocol for Asynchronous Distributed Systems", 第４回ディペンダブルソフトウェアワークショップ(DSW06-2), December 2006.

2002

国際会議(査読付)

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Optimal k-Coteries That Maximize Availability in General Networks", Proc. of 16th International Conference on Information Networking (ICOIN-16), Lecture Notes in Computer Science , pp. 596-608, January 2002.

2001

学術論文誌(査読付)

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Hierarchical Dependability Modeling of Distributed Systems with Replicated Resources", IEICE Transactions on Information and Systems, E84-D(5),  pp. 692-699, May 2001.

研究会・全国大会等

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Constructing Optimal k-Coteries in General Networks", 電子情報通信学会技術研究報告, 100(569),  pp. 41--48, January 2001.

2000

学術論文誌(査読付)

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "New Constructions for Nondominated k-Coteries", IEICE Transactions on Information and Systems, E83-D(7),  pp. 1526-1532, July 2000.

1999

国際会議(査読付)

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "New Construction of k-Coteries That Dominate k-Majority Coteries", Proc. of 1999 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC99), pp. 1116-1119, July 1999.

[2] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "On the Availability of K-Coteries in Networks with Unreliable Nodes and Links", Proc. of the 4th International Workshop on Object-Oriented Real-Time Dependable Systems (WORDS99), pp. 225-237, February 1999.

1998

国際会議(査読付)

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Availability Evaluation of K-Coteries on Distributed Systems with Unreliable Nodes and Links", Proc. of 1998 International Technical Conference on Circuits/Systems, Computers and Communications (ITC-CSCC98), pp. 1685-1690, July 1998.

研究会・全国大会等

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Availability Evaluation of k-Coteries on Distributed Systems with Unreliable Nodes and Links", 電子情報通信学会技術研究報告. SS, ソフトウェアサイエンス, 98(86),  pp. 25--32, May 1998.

1997

国際会議(査読付)

[1] Eun-Hye Choi, Tatsuhiro Tsuchiya, and Tohru Kikuno, "Hierarchical Modeling and Evaluation of Distributed Systems", Proc. of IEEE Pacific Rim International Conference on Fault-Tolerant Systems (PRFTS97), pp. 91-96, December 1997.